\section{GADT}

\inputminted[fontsize=\scriptsize, fontsize=\scriptsize, ]{ocaml}{lang/code/gadt.ml}

\todo{read ml 2011 workshop paper}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "../master"
%%% End: 
